Arithmetization of formal system
[计] 形式系统算术化
🧩 词语组成解析
[计] 算术化
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
🗣️ 情景例句
visiting places of revolutionary interest, outings, parties.
参观革命圣地，出去郊游，或者举办晚会。
The wolf has a winning game when the shepherds quarrel.
鹬蚌相争，渔翁得利。
It is animals and plants which lived in or near water whose remains are most likely to be preserved,
只有生活在水中或水边的动植物尸体最有可能被保存下来，